* make-dist: Add a --tests option, to include test/.
authorGlenn Morris <rgm@gnu.org>
Thu, 25 Jul 2013 06:57:25 +0000 (23:57 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 25 Jul 2013 06:57:25 +0000 (23:57 -0700)
commit50774e41a77f76fbf2d17531a75e4d84d7bedb64
tree0cc64007648bae5de8db3e1da83ea37cba43a844
parentd545e0d730dd98ed87eb41749d163eb14c5d3163
* make-dist: Add a --tests option, to include test/.
ChangeLog
make-dist